-
1 semantically complete system
English-Russian scientific dictionary > semantically complete system
-
2 semantically complete system
Математика: семантически полная системаУниверсальный англо-русский словарь > semantically complete system
См. также в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Стилистические ресурсы морфологии и словообразования — (грамматическая стилистика) – это 1) средства морфологии и словообразования, дающие говорящему возможность наиболее целесообразного выбора и использования морфологических и словообразовательных синонимов и вариантов в соответствии с целями и… … Стилистический энциклопедический словарь русского языка
_Приложение II — Читатели, познакомившиеся с содержанием Приложения I, могут задуматься над таким вопросом: а существуют ли у слов русского языка какие либо приметы, по которым можно было бы определять их принадлежность к тому или иному типу ударения (акцентному… … Словарь ударений русского языка
ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная … Математическая энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
БИБЛИЯ. IV. ПЕРЕВОДЫ — Переводы Б. На древние языки Арамейские таргумы Арамейский таргум иудейский перевод Б. (ВЗ) на арамейский язык. Существительное « » в постбиблейском евр. и арам. означает «перевод», глагол « » (арам. ) «переводить, объяснять» (единственный раз в… … Православная энциклопедия
ЛИЧНОСТЬ — I. Из истории слова «личность» в русском языке до середины XIX в. 1. В русское слово личность влились многие из тех значений и смысловых оттенков, которые развивались в разных европейских языках у многочисленной группы слов, восходящих к… … История слов
Тупи (язык) — У этого термина существуют и другие значения, см. Тупи. Тупи, тупинамба, лингва бразилика, старый тупи Самоназвание: Nheengatu, nheendyba, abá nheenga Страны … Википедия
JavaScript — Не следует путать с Java. JavaScript Класс языка: мультипарадигменный … Википедия
ПАТРИСТИКА — (лат. patres отцы) направление философско теологической мысли 2 8 вв., связанное с деятельностью раннехристианских авторов Отцов Церкви. Семантико аксиологические источники оформления П. античная философия (общерациональный метод и конкретное… … История Философии: Энциклопедия